interface interfazPRB {

  command void comando1();

  command int comando2(int c);

}
